- правило квантификации
- quantification rule мат., quantifier rule
Русско-английский научно-технический словарь Масловского. 2015.
правило квантификации
Look at other dictionaries:
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ИНФОРМАЦИОННАЯ КУЛЬТУРА — 1. Совокупность норм, правил и стереотипов поведения, связанных с информ. обменом в об ве (сегодня в науке практически вышло из употребления); 2. Понятие, характеризующее культуру с т.зр. кумулируемой, обрабатываемой и транслируемой в ее… … Энциклопедия культурологии
библиометрия — БИБЛИОМЕТРИЯ (от греч. biblion книга и metron мера, metreo измеряю) новое направление в исследованиях науки, зародившееся в 60 е гг. 20 в. и связанное с количественным анализом документальных потоков. Термин «Б.» ввел в 1969 английский… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Расписная черепаха — Научная классификация … Википедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
АРИСТОТЕЛЬ — (Aristoteles) (384 322 до н.э.) великий др. греч. философ и ученый, создатель логики, основатель психологии, этики, политики, поэтики как самостоятельных наук. Родившись на северо востоке Греции (г. Стагира), провел 20 лет в Академии Платона (см … Философская энциклопедия
Тесты — метод измерения и оценки различных психологических качеств и состояний индивида. Возникновение тестологических процедур было обусловлено потребностью сопоставления (сравнения, дифференциации, ранжирования) индивидов по уровню развития или степени … Социологический справочник
Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний , созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской диссертации… … Википедия
Алгоритм Rete — Rete[1] эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской… … Википедия
ПРИНЦИП ЗАМЕЩЕНИЯ — правило логич. вывода, основанное на отношении тождества (равенства). В формулировке Джевонса, положившего его в основу своей теории логики, П. з. имеет след. смысл: если А = В и В * С., то А * С., т.е. из равенства Α и Β и того, что В находится… … Философская энциклопедия
